منابع مشابه
Multi-output Ranking for Automated Reasoning
Premise selection and ranking is a pressing problem for applications of automated reasoning to large formal theories and knowledge bases. Smart selection of premises has a significant impact on the efficiency of automated proof assistant systems in large theories. Despite this, machine-learning methods for this domain are underdeveloped. In this paper we propose a general learning algorithm to ...
متن کاملIndices to Quantify the Ranking of Arabic Journals and Research Output
I propose two simple indices to classify journals, published in Arabic language, and different researchers. These indices depend upon the known impact factor and h-index. The new indices give an easy way to judge the rank of any journal (output of any researcher) without looking for other journals (output of other researchers).
متن کاملResearch centers' ranking and resource management
In recent decade, there has been an increase in the number of research centers and the allocated budget and resources to research in Iran. These research centers show widely different performance and research impacts. Identifying the sources of such differences can help the research sector managers improve the effectiveness of distributed resources. This study was performed on 28 research cent...
متن کاملBrazilian Oral Research
This paper reviews the historical development of public health policies in Brazil and the insertion of oral health in this context. Since 1988, Brazil established a Unified National Health System (“Sistema Único de Saúde” SUS), which was conceived to assure access to health actions and services, including oral health. However, a history of lack of access to health services and the health proble...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2013
ISSN: 0028-0836,1476-4687
DOI: 10.1038/503039b